21. Model theory of groups and automorphism groups : Blaubeuren, August 1995
پدیدآورنده : edited by David M. Evans
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Model theory,Congresses ، Group theory
رده :
QA
9
.
7
.
M63
22. Models and sets: Proceedings of the Logic Colloquom held in Aachen, July 18-23, 1983.
پدیدآورنده : Edited by F.H. Muller and M.M. Richter
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Model bibliographies,Congresses` ، Set theory
رده :
QA
3
.
L28
no
.
1103-1104
23. Models and sets; Proceedings of the logic calloquium held in Aachen, July 18-23. 1983 Part 1
پدیدآورنده : edited by G.H. Muller and M.M. Richter
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Model theory,Congresses ، Set theory
رده :
QA
1
.
L4
v
.
1103
24. Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai
پدیدآورنده : Bradd Hart ... ]et al.[, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Model theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
7
.
M67
25. #Non-classical logics, model theory, and computability
پدیدآورنده : #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
رده :
#
QA
،#.
L37
،#
1976
26. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
27. Perturbative and nonperturbative aspects of quantum field theory : proceedings of the 35th Internationale Universitatswochen fur Kern- und Teilchenphysik, Schladming, Austria, March 2-9, 1996
پدیدآورنده : H. Latal, W. Schweiger )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Standard model )Nuclear physics(,Congresses ، Quantum field theory,Congresses ، Nuclear reactions,Congresses ، Quantum chromodynamics,Congresses ، Perturbation )Quantum dynamics(
رده :
QC
3
.
L28
Vol
.
479
28. Physics in D >= 4
پدیدآورنده : / editors, John Terning, Carlos E.M. Wagner, Dieter Zeppenfeld
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Particles (Nuclear physics) , Congresses,Standard model (Nuclear physics) , Congresses,Field theory (Physics) , Congresses,Electronic books. , local
رده :
E-BOOK
29. Proceedings of the International Workshop on Quantum Effects in the MSSM: Universitat Autonoma de Barcelona, Catalonia, Spain, 9-13 September 1997
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Supersymmetry,Congresses ، Quantum theory,Congresses ، Standard model )Nuclear physics(
رده :
QC
174
.
17
.
S9
.
I58
1997
30. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
31. Proceedings of the Workshop on Effective Field Theories of the Standard Model, Dobogkio, Hungary, August, 22-26, 1991
پدیدآورنده : edited by Ulf-G. MeiBner
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Standard model )Nuclear physics(,Congresses ، Field theory )Physics(
رده :
QC
794
.
6
.
S75W67
1991
32. Proceedings of the Workshop on Effective Field Theories of the Standard Model: Dobogbokno, Hungary, August, 22-26, 1991
پدیدآورنده : Workshop on Effective Field Theories of the Standard Model )1991 : Dobogعokکo, Hungary(
موضوع : ، Standard model )Nuclear physics(- Congresses,، Field theory )Physics(- Congresses
۴ نسخه از این کتاب در ۱ کتابخانه موجود است.
33. Set theory and hierarchy theory V ... 1976
پدیدآورنده : edited by A. Lachlan, M. Srebrny, and A. Zarach
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory -- Hierarchies,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
619
34. Set theory and hierarchy theory V:Bierutowice, Ploand, 1976
پدیدآورنده : Conference on set Theory and Hierachy Theory, 3d, Bierutowice, Poland
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Set theory,Hirarchies -Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
35. Set theory and hierarchy theory V : Bierutowice, Poland, 1976
پدیدآورنده : edited by A. Lachlan, M. Srebrny, A. Zarach
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Set theory,Hierarchies -- Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
248
.
C6
1976
36. Set theory and hierarchy theory V: Bierutowice, Poland, 1976
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Set theory,Hierarchies Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
37. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده : edited by W. Marek, M. Srebrny, A. Zarach
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Bibliography ، Mostowski, Andrzej, 3191-5791,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
248
.
C6
1975
38. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده : edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
248
.
C6
39. Set theory and hierarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Bibliography ، Mostowski, Andrzej,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
3
.
L28
no
.
537
40. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده : edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
1
.
L4
v
.
537
